/* Intentionally empty: use native Gradio theme styles. */